x86/setup: initialise CR4 before creating idle_vcpu[0]
authorAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 25 Jun 2015 12:57:31 +0000 (14:57 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 25 Jun 2015 12:57:31 +0000 (14:57 +0200)
commita06ab1e37f43145933b854c0d5ed28ad7183c8aa
tree1111ca95a94599b75c00b410cadb4456a8a53032
parent142473cfce41a565898e0fa33dc98a1f5e41abe4
x86/setup: initialise CR4 before creating idle_vcpu[0]

PV vcpu initialise has CR4 seeded from mmu_cr4_features.  Adjust the order of
basic CR4 setup and creation of the idle domain, such that idle_vcpu[0] is not
wildly different from the other idle vcpus.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/setup.c